Buy Used and New Sergei Artemov Books

Logical Foundations of Computer Science: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings: 11972 (Lecture Notes in Computer Science)

by Sergei Artemov,Anil Nerode

ISBN 13: 9783030367541

Format: Paperback (300 pages)
Publisher: Springer
Published: 14 Dec 2019

Save for later

Journal of Applied Logics, Volume 8, Number 8, September 2021. Special issue: Intuitionistic Modal Logic and Applications

by Valeria de Paiva,Sergei Artemov

ISBN 13: 9781848903777

Format: Paperback (112 pages)
Publisher: College Publications
Published: 06 Sep 2021

Save for later

Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings: 13137 (Lecture Notes in Computer Science, 13137)

by Sergei Artemov,Anil Nerode

ISBN 13: 9783030930998

Format: Paperback (387 pages)
Publisher: Springer
Published: 17 Dec 2021

Save for later